Rectangular Decomposition of Binary Images Tom´ aˇs Suk, Cyril H¨oschl IV, and Jan Flusser Institute of Information Theory and Automation of the ASCR, Pod vod´ arenskou vˇeˇz´ı 4, Praha 8, Czech Republic

Source URL: library.utia.cas.cz

• Graph theory
• Mathematics
• Matroid theory
• Constraint programming
• Decomposition method
• Quadtree
• Tree decomposition
• Ear decomposition
• Decomposition

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1

Source URL: ceur-ws.org

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Constraint programming
• Numerical software
• Automated theorem proving
• DPLL algorithm
• Packing problems
• Solver
• Constraint satisfaction
• Reduction
• Algorithm

¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”

Source URL: resources.mpi-inf.mpg.de

• Theoretical computer science
• Mathematical logic
• Mathematics
• Logic programming
• Logic in computer science
• Automated theorem proving
• Formal methods
• Unification
• Lambda calculus
• Constraint logic programming
• Conjunctive normal form

Helmert’s and Bowie’s Geodetic Mapping Methods and Their Relation to Graph-Based SLAM Pratik Agarwal Wolfram Burgard

Source URL: www.lifelong-navigation.eu

• Geodesy
• Measurement
• Surveying
• Geomatics
• Geography
• Constraint programming
• Global Positioning System
• Navigation
• Decomposition method
• Simultaneous localization and mapping
• Least squares adjustment
• Geodetic datum

Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University

Source URL: www.cs.bu.edu

• Software engineering
• Programming language theory
• Computing
• Type theory
• Functional languages
• Logic in computer science
• Programming paradigms
• Models of computation
• Denotational semantics
• Type system
• Programming language
• Constraint programming

Inland waters, rivers English version – SOSI standard 4.0 Inland waters, rivers English version – SOSI standard 4.0 Inland waters, rivers

Source URL: kartverket.no

CrossMark_Color_Stacked_p

Source URL: www.public.asu.edu

• Mathematics
• Applied mathematics
• Logic
• Constraint programming
• Operations research
• Algorithm
• Mathematical logic
• Theoretical computer science
• Simulated annealing
• Local search
• Mathematical optimization
• Compactness theorem

Sequential Encodings from Max-CSP into Partial Max-SAT⋆ Josep Argelich1 , Alba Cabiscol2 , Inˆes Lynce3 , and Felip Many`a4 1 2

Source URL: www.mancoosi.org

• Theoretical computer science
• Logic in computer science
• Combinatorial optimization
• Maximum satisfiability problem
• Unit propagation
• Constraint programming
• Mathematics
• Mathematical logic

Final version of the optimizations algorithms and tools Deliverable 4.3 Nature : Deliverable Due date :

Source URL: www.mancoosi.org

• Software
• Numerical analysis
• Mathematical software
• Numerical software
• Mathematical optimization
• Solver
• Constraint programming
• Lis

JOURNAL OF TVCGAutomatic Constraint Detection for 2D Layout Regularization

Source URL: peterwonka.net

• Constraint programming
• Mathematical optimization
• Constraint
• Regularization
• Analysis
• Constraint satisfaction
• Mathematics
• Applied mathematics
• Constraint logic programming